xen: prevent a 64 bit guest setting reserved bits in DR7
authorIan Jackson <Ian.Jackson@eu.citrix.com>
Wed, 5 Sep 2012 11:27:25 +0000 (12:27 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Wed, 5 Sep 2012 11:27:25 +0000 (12:27 +0100)
commite89c6d05737c46f4ebee1f02138acf1cb1a48291
treebb1caea4c941f4bc9e627f249dc68fe877ec958d
parent6b9c334b696fd4a01c9d2e237efda7c5dc3de7e8
xen: prevent a 64 bit guest setting reserved bits in DR7

The upper 32 bits of this register are reserved and should be written as
zero.

This is XSA-12 / CVE-2012-3494

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Ian Campbell <ian.campbell@citrix.com>
xen/include/asm-x86/debugreg.h